Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
201	REAL-TIME MODELING OF SPACECRAFT SIMULATORS USING SYSTEMS TOOL KIT (STK) Alex Friedman Advisor: Dr. Troy Henderson Department of Aerospace and Ocean Engineering Virginia Polytechnic Institute and State University, Black Add to Reading List Source URL: www.vsgc.odu.edu Language: English - Date: 2013-05-02 13:43:33 3D graphics software Mathematical software Systems Tool Kit Attitude control Spacecraft
202	Computer Science Education 2004, Vol. 14, No. 3, pp. 235–248 Teaching Algorithm Efficiency at CS1 Level: A Different Approach Judith Gal-Ezer, Tamar Vilner, and Ela Zur Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2007-10-29 03:41:13 Theoretical computer science Analysis of algorithms Dynamic programming Software optimization Algorithm Mathematical logic Selection algorithm Recursion Sort Best worst and average case Knapsack problem Matrix chain multiplication
203	TOWARDS PROOF SCRIPT REFACTORING DAVID ASPINALL, LUCAS DIXON, IAIN WHITESIDE 1. Introduction In software engineering, a refactoring is a semantics preserving restructuring operation ‘that support[s] the design, evoluti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-09 06:40:19 Extreme programming Code refactoring Mathematical proof Isabelle
204	Authorized Material The guidelines governing the aids that you may use during examinations are set out below. These guidelines are binding, and apply to all candidates. Advice The necessary materials are provided for the Add to Reading List Source URL: www.sfaa.ch Language: English - Date: 2016-03-04 08:11:00 Office equipment Mathematical notation Software calculator Programmable calculators Calculators Graphing calculator Exam invigilator
205	Getting from x to y without crashing: Computer syntax in mathematics education By David J. Jeffrey Department of Applied Mathematics, University of Western Ontario, London, Ontario, Canada N6A 5B7 Receive Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2010-03-28 11:30:45 Cross-platform software Mathematical software Array programming languages Numerical software Numerical linear algebra MATLAB Array programming Maple Matrix SageMath Array data type Numerical analysis
206	NPRG049— Programovací jazyky OCaml a F# Tomáš Petříček, Functional Programming in F# (the fun way to learn mathematical thinking) Add to Reading List Source URL: tomasp.net - Date: 2016-08-05 06:39:51 Functional languages Object-oriented programming languages OCaml Caml Cross-platform software Functional programming Wacaw Sierpiski Wolfram Mathematica Tom Petek Sierpinski carpet
207	Year 1 New Computing Curriculum Overview Strand Add to Reading List Source URL: swaygrantham.co.uk Language: English - Date: 2014-07-02 18:20:09 Computing Computer programming Software engineering Algorithm Mathematical logic Theoretical computer science Computer Input/output Instruction set Subroutine Password Algorithm characterizations
208	Precise Piecewise Affine Models from Input-Output Data Rajeev Alur, Nimit Singhania University of Pennsylvania ABSTRACT Formal design and analysis of embedded control software relies on mathematical models of dynamical s Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-08-11 09:52:28 Geometry Affine geometry Space Mathematics Differential geometry Affine transformation Transformation Feature detection Affine space Affine connection
209	Summary of Software Using HDF5 by Name (AprilName (with Product URL) Short Description Add to Reading List Source URL: www.hdfgroup.org Language: English - Date: 2016-04-20 10:05:14 Software Application software Computing Computer file formats Earth sciences graphics software Numerical software Hierarchical Data Format Computational fluid dynamics Mathematical software NetCDF XDMF HDF Explorer
210	HYSDEL 3.0 – Manual Institute of Information Engineering, Automation, and Mathematics Slovak University of Technology in Bratislava Radlinsk´ehoBratislava Add to Reading List Source URL: control.ee.ethz.ch Language: English - Date: 2013-06-26 04:47:20 Software Application software Mathematical software Array programming languages Numerical software Parallel computing Linear algebra MATLAB R Mathematical optimization

UPDATE